The Largest Topological Subcategory of Countably-based Equilogical Spaces
نویسندگان
چکیده
There are two main approaches to obtaining \topological" cartesian-closed categories. Under one approach, one restricts to a full subcategory of topological spaces that happens to be cartesian closed | for example, the category of sequential spaces. Under the other, one generalises the notion of space | for example, to Scott's notion of equilogical space. In this paper we show that the two approaches are equivalent for a large class of objects. We rst observe that the category of countably-based equilogical spaces has, in a precisely deened sense, a largest full subcategory that can be simultaneously viewed as a full subcategory of topological spaces. This category consists of certain \!-projecting" topological quotients of countably-based topological spaces, and contains, in particular, all countably-based spaces. We show that this category is cartesian closed with its structure inherited, on the one hand, from the category of sequential spaces, and, on the other, from the category of equilogical spaces.
منابع مشابه
Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces
There are two main approaches to obtaining “topological” cartesian-closed categories. Under one approach, one restricts to a full subcategory of topological spaces that happens to be cartesian closed — for example, the category of sequential spaces. Under the other, one generalises the notion of space — for example, to Scott’s notion of equilogical space. In this paper we show that the two appr...
متن کاملA Relationship between Equilogical Spaces and Type Two Effectivity
In this paper I compare two well studied approaches to topological semantics— the domain-theoretic approach, exemplified by the category of countably based equilogical spaces, Equ, and Type Two Effectivity, exemplified by the category of Baire space representations, Rep(B). These two categories are both locally cartesian closed extensions of countably based T0-spaces. A natural question to ask ...
متن کاملPreliminary Proceedings of the 17 th Annual Conference on Mathematical Foundations of Programming Semantics MFPS ’ 01
In this paper I compare two well studied approaches to topological semantics| the domain-theoretic approach, exempli ed by the category of countably based equilogical spaces, Equ, and Type Two E ectivity, exempli ed by the category of Baire space representations, Rep(B ). These two categories are both locally cartesian closed extensions of countably based T0-spaces. A natural question to ask is...
متن کاملCOUNTABLY NEAR PS-COMPACTNESS IN L-TOPOLOGICAL SPACES
In this paper, the concept of countably near PS-compactness inL-topological spaces is introduced, where L is a completely distributive latticewith an order-reversing involution. Countably near PS-compactness is definedfor arbitrary L-subsets and some of its fundamental properties are studied.
متن کاملProductivity of coreflective classes of topological groups
Every nontrivial countably productive coreflective subcategory of topological linear spaces is κ-productive for a large cardinal κ (see [10]). Unlike that case, in uniform spaces for every infinite regular cardinal κ, there are coreflective subcategories that are κ-productive and not κ-productive (see [8]). From certain points of view, the category of topological groups lies in between those ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 20 شماره
صفحات -
تاریخ انتشار 1999